<!DOCTYPE html>
<html class="writer-html5" lang="en" data-content_root="./">
<head>
  <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />

  <meta name="viewport" content="width=device-width, initial-scale=1.0" />
  <title>registries &mdash; Logtalk APIs v3.93.0-b01 documentation</title>
      <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=d75fae25" />
      <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
      <link rel="stylesheet" type="text/css" href="_static/css/custom.css?v=0e9007aa" />

  
  <!--[if lt IE 9]>
    <script src="_static/js/html5shiv.min.js"></script>
  <![endif]-->
  
        <script src="_static/jquery.js?v=5d32c60e"></script>
        <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
        <script src="_static/documentation_options.js?v=c8100655"></script>
        <script src="_static/doctools.js?v=9a2dae69"></script>
        <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
    <script src="_static/js/theme.js"></script>
    <!-- begin favicon -->
    <link rel="apple-touch-icon" sizes="180x180" href="/apple-touch-icon.png" />
    <link rel="icon" type="image/png" sizes="32x32" href="/favicon-32x32.png" />
    <link rel="icon" type="image/png" sizes="16x16" href="/favicon-16x16.png" />
    <link rel="manifest" href="/site.webmanifest" />
    <link rel="mask-icon" href="/safari-pinned-tab.svg" color="#5bbad5" />
    <meta name="msapplication-TileColor" content="#355b95" />
    <meta name="theme-color" content="#ffffff" />
    <!-- end favicon -->
    
    <link rel="index" title="Index" href="genindex.html" />
    <link rel="search" title="Search" href="search.html" />
    <link rel="next" title="registry_loader_hook" href="registry_loader_hook_0.html" />
    <link rel="prev" title="packs_specs_hook" href="packs_specs_hook_0.html" />
   
</head>

<body class="wy-body-for-nav"> 
  <div class="wy-grid-for-nav">
    <nav data-toggle="wy-nav-shift" class="wy-nav-side">
      <div class="wy-side-scroll">
        <div class="wy-side-nav-search" >

          
          
          <a href="index.html" class="icon icon-home">
            Logtalk APIs
              <img src="_static/logtalk.gif" class="logo" alt="Logo"/>
          </a>
              <div class="version">
                3.93.0
              </div>
<div role="search">
  <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
    <input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
    <input type="hidden" name="check_keywords" value="yes" />
    <input type="hidden" name="area" value="default" />
  </form>
</div>
        </div><div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="Navigation menu">
    
              <p class="caption" role="heading"><span class="caption-text">Contents</span></p>
<ul class="current">
<li class="toctree-l1 current"><a class="reference internal" href="library_index.html">Libraries</a><ul class="current">
<li class="toctree-l2"><a class="reference internal" href="library_index.html#arbitrary"><span class="xref std std-ref">arbitrary</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#assertions"><span class="xref std std-ref">assertions</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#assignvars"><span class="xref std std-ref">assignvars</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#base64"><span class="xref std std-ref">base64</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#cbor"><span class="xref std std-ref">cbor</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#code-metrics"><span class="xref std std-ref">code_metrics</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#core"><span class="xref std std-ref">core</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#coroutining"><span class="xref std std-ref">coroutining</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#csv"><span class="xref std std-ref">csv</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#dates"><span class="xref std std-ref">dates</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#dead-code-scanner"><span class="xref std std-ref">dead_code_scanner</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#debug-messages"><span class="xref std std-ref">debug_messages</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#debugger"><span class="xref std std-ref">debugger</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#dependents"><span class="xref std std-ref">dependents</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#diagrams"><span class="xref std std-ref">diagrams</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#dictionaries"><span class="xref std std-ref">dictionaries</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#dif"><span class="xref std std-ref">dif</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#doclet"><span class="xref std std-ref">doclet</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#edcg"><span class="xref std std-ref">edcg</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#events"><span class="xref std std-ref">events</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#expand-library-alias-paths"><span class="xref std std-ref">expand_library_alias_paths</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#expecteds"><span class="xref std std-ref">expecteds</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#fcube"><span class="xref std std-ref">fcube</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#flags"><span class="xref std std-ref">flags</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#format"><span class="xref std std-ref">format</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#genint"><span class="xref std std-ref">genint</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#gensym"><span class="xref std std-ref">gensym</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#git"><span class="xref std std-ref">git</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#grammars"><span class="xref std std-ref">grammars</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#heaps"><span class="xref std std-ref">heaps</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#help"><span class="xref std std-ref">help</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#hierarchies"><span class="xref std std-ref">hierarchies</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#hook-flows"><span class="xref std std-ref">hook_flows</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#hook-objects"><span class="xref std std-ref">hook_objects</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#html"><span class="xref std std-ref">html</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#ids"><span class="xref std std-ref">ids</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#intervals"><span class="xref std std-ref">intervals</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#iso8601"><span class="xref std std-ref">iso8601</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#issue-creator"><span class="xref std std-ref">issue_creator</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#java"><span class="xref std std-ref">java</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#json"><span class="xref std std-ref">json</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#json-lines"><span class="xref std std-ref">json_lines</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#lgtdoc"><span class="xref std std-ref">lgtdoc</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#lgtunit"><span class="xref std std-ref">lgtunit</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#library"><span class="xref std std-ref">library</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#listing"><span class="xref std std-ref">listing</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#logging"><span class="xref std std-ref">logging</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#loops"><span class="xref std std-ref">loops</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#meta"><span class="xref std std-ref">meta</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#meta-compiler"><span class="xref std std-ref">meta_compiler</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#metagol"><span class="xref std std-ref">metagol</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#mutations"><span class="xref std std-ref">mutations</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#nested-dictionaries"><span class="xref std std-ref">nested_dictionaries</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#optionals"><span class="xref std std-ref">optionals</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#options"><span class="xref std std-ref">options</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#os"><span class="xref std std-ref">os</span></a></li>
<li class="toctree-l2 current"><a class="reference internal" href="library_index.html#packs"><span class="xref std std-ref">packs</span></a><ul class="current">
<li class="toctree-l3"><a class="reference internal" href="pack_protocol_0.html">pack_protocol</a></li>
<li class="toctree-l3"><a class="reference internal" href="packs_0.html">packs</a></li>
<li class="toctree-l3"><a class="reference internal" href="packs_common_0.html">packs_common</a></li>
<li class="toctree-l3"><a class="reference internal" href="packs_messages_0.html">packs_messages</a></li>
<li class="toctree-l3"><a class="reference internal" href="packs_specs_hook_0.html">packs_specs_hook</a></li>
<li class="toctree-l3 current"><a class="current reference internal" href="#">registries</a></li>
<li class="toctree-l3"><a class="reference internal" href="registry_loader_hook_0.html">registry_loader_hook</a></li>
<li class="toctree-l3"><a class="reference internal" href="registry_protocol_0.html">registry_protocol</a></li>
</ul>
</li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#pddl-parser"><span class="xref std std-ref">pddl_parser</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#ports-profiler"><span class="xref std std-ref">ports_profiler</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#queues"><span class="xref std std-ref">queues</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#random"><span class="xref std std-ref">random</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#reader"><span class="xref std std-ref">reader</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#recorded-database"><span class="xref std std-ref">recorded_database</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#redis"><span class="xref std std-ref">redis</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#sets"><span class="xref std std-ref">sets</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#statistics"><span class="xref std std-ref">statistics</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#term-io"><span class="xref std std-ref">term_io</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#timeout"><span class="xref std std-ref">timeout</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#toychr"><span class="xref std std-ref">toychr</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#tsv"><span class="xref std std-ref">tsv</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#tutor"><span class="xref std std-ref">tutor</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#types"><span class="xref std std-ref">types</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#ulid"><span class="xref std std-ref">ulid</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#union-find"><span class="xref std std-ref">union_find</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#uuid"><span class="xref std std-ref">uuid</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#verdi-neruda"><span class="xref std std-ref">verdi_neruda</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#wrapper"><span class="xref std std-ref">wrapper</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#xml-parser"><span class="xref std std-ref">xml_parser</span></a></li>
<li class="toctree-l2"><a class="reference internal" href="library_index.html#zippers"><span class="xref std std-ref">zippers</span></a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="directory_index.html">Directories</a></li>
<li class="toctree-l1"><a class="reference internal" href="entity_index.html">Entities</a></li>
<li class="toctree-l1"><a class="reference internal" href="predicate_index.html">Predicates</a></li>
</ul>

    <ul>
    <li class="toctree-l1"><a class="reference internal" href="core_inheritance_diagram.svg">Core diagram</a></li>
    <li class="toctree-l1"><a class="reference internal" href="library_inheritance_diagram.svg">Libraries diagram</a></li>
    <li class="toctree-l1"><a class="reference internal" href="tools_inheritance_diagram.svg">Tools diagram</a></li>
    <li class="toctree-l1"><a class="reference internal" href="ports_inheritance_diagram.svg">Ports diagram</a></li>
    <li class="toctree-l1"><a class="reference internal" href="contributions_inheritance_diagram.svg">Contributions diagram</a></li>
    <li class="toctree-l1"><a class="reference internal" href="genindex.html">Index</a></li>
    </ul>
    <p class="caption"><span class="caption-text">External Contents</span></p>
    <ul>
    <li class="toctree-l1"><a class="reference internal" href="../handbook/index.html">Handbook</a></li>
    <li class="toctree-l1"><a class="reference internal" href="https://logtalk.org">Logtalk website</a></li>
    <li class="toctree-l1"><a class="reference internal" href="https://github.com/LogtalkDotOrg/logtalk3">GitHub repo</a></li>
    </ul>
  
        </div>
      </div>
    </nav>

    <section data-toggle="wy-nav-shift" class="wy-nav-content-wrap"><nav class="wy-nav-top" aria-label="Mobile navigation menu" >
          <i data-toggle="wy-nav-top" class="fa fa-bars"></i>
          <a href="index.html">Logtalk APIs</a>
      </nav>

      <div class="wy-nav-content">
        <div class="rst-content">
          <div role="navigation" aria-label="Page navigation">
  <ul class="wy-breadcrumbs">
      <li><a href="index.html" class="icon icon-home" aria-label="Home"></a></li>
          <li class="breadcrumb-item"><a href="library_index.html">Libraries</a></li>
      <li class="breadcrumb-item active"><code class="docutils literal notranslate"><span class="pre">registries</span></code></li>
      <li class="wy-breadcrumbs-aside">
            <a href="_sources/registries_0.rst.txt" rel="nofollow"> View page source</a>
      </li>
  </ul>
  <hr/>
</div>
          <div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
           <div itemprop="articleBody">
             
  <p class="right" id="registries-0"><span id="index-0"></span><strong>object</strong></p>
<section id="registries">
<h1><code class="docutils literal notranslate"><span class="pre">registries</span></code><a class="headerlink" href="#registries" title="Link to this heading"></a></h1>
<p>Registry handling predicates.</p>
<div class="line-block">
<div class="line"><strong>Availability:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">logtalk_load(packs(loader))</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Author:</strong> Paulo Moura</div>
<div class="line"><strong>Version:</strong> 0:61:0</div>
<div class="line"><strong>Date:</strong> 2025-05-27</div>
</div>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static,</span> <span class="pre">context_switching_calls</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Imports:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">public</span></code> <a class="reference internal" href="packs_common_0.html#packs-common-0"><span class="std std-ref">packs_common</span></a></div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">public</span></code> <a class="reference internal" href="options_0.html#options-0"><span class="std std-ref">options</span></a></div>
</div>
<div class="line"><strong>Uses:</strong></div>
<div class="line-block">
<div class="line"><a class="reference internal" href="list_0.html#list-0"><span class="std std-ref">list</span></a></div>
<div class="line"><a class="reference internal" href="logtalk_0.html#logtalk-0"><span class="std std-ref">logtalk</span></a></div>
<div class="line"><a class="reference internal" href="os_0.html#os-0"><span class="std std-ref">os</span></a></div>
<div class="line"><a class="reference internal" href="type_0.html#type-0"><span class="std std-ref">type</span></a></div>
<div class="line"><a class="reference internal" href="user_0.html#user-0"><span class="std std-ref">user</span></a></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Remarks:</strong></div>
<div class="line-block">
<div class="line">(none)</div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Inherited public predicates:</strong></div>
<div class="line-block">
<div class="line"> <a class="reference internal" href="options_protocol_0.html#options-protocol-0-check-option-1"><span class="std std-ref">check_option/1</span></a>  <a class="reference internal" href="options_protocol_0.html#options-protocol-0-check-options-1"><span class="std std-ref">check_options/1</span></a>  <a class="reference internal" href="options_protocol_0.html#options-protocol-0-default-option-1"><span class="std std-ref">default_option/1</span></a>  <a class="reference internal" href="options_protocol_0.html#options-protocol-0-default-options-1"><span class="std std-ref">default_options/1</span></a>  <a class="reference internal" href="packs_common_0.html#packs-common-0-directory-1"><span class="std std-ref">directory/1</span></a>  <a class="reference internal" href="packs_common_0.html#packs-common-0-directory-2"><span class="std std-ref">directory/2</span></a>  <a class="reference internal" href="packs_common_0.html#packs-common-0-help-0"><span class="std std-ref">help/0</span></a>  <a class="reference internal" href="packs_common_0.html#packs-common-0-logtalk-packs-0"><span class="std std-ref">logtalk_packs/0</span></a>  <a class="reference internal" href="packs_common_0.html#packs-common-0-logtalk-packs-1"><span class="std std-ref">logtalk_packs/1</span></a>  <a class="reference internal" href="options_protocol_0.html#options-protocol-0-option-2"><span class="std std-ref">option/2</span></a>  <a class="reference internal" href="options_protocol_0.html#options-protocol-0-option-3"><span class="std std-ref">option/3</span></a>  <a class="reference internal" href="packs_common_0.html#packs-common-0-pin-0"><span class="std std-ref">pin/0</span></a>  <a class="reference internal" href="packs_common_0.html#packs-common-0-pin-1"><span class="std std-ref">pin/1</span></a>  <a class="reference internal" href="packs_common_0.html#packs-common-0-pinned-1"><span class="std std-ref">pinned/1</span></a>  <a class="reference internal" href="packs_common_0.html#packs-common-0-prefix-0"><span class="std std-ref">prefix/0</span></a>  <a class="reference internal" href="packs_common_0.html#packs-common-0-prefix-1"><span class="std std-ref">prefix/1</span></a>  <a class="reference internal" href="packs_common_0.html#packs-common-0-readme-1"><span class="std std-ref">readme/1</span></a>  <a class="reference internal" href="packs_common_0.html#packs-common-0-readme-2"><span class="std std-ref">readme/2</span></a>  <a class="reference internal" href="packs_common_0.html#packs-common-0-reset-0"><span class="std std-ref">reset/0</span></a>  <a class="reference internal" href="packs_common_0.html#packs-common-0-setup-0"><span class="std std-ref">setup/0</span></a>  <a class="reference internal" href="packs_common_0.html#packs-common-0-unpin-0"><span class="std std-ref">unpin/0</span></a>  <a class="reference internal" href="packs_common_0.html#packs-common-0-unpin-1"><span class="std std-ref">unpin/1</span></a>  <a class="reference internal" href="options_protocol_0.html#options-protocol-0-valid-option-1"><span class="std std-ref">valid_option/1</span></a>  <a class="reference internal" href="options_protocol_0.html#options-protocol-0-valid-options-1"><span class="std std-ref">valid_options/1</span></a>  <a class="reference internal" href="packs_common_0.html#packs-common-0-verify-commands-availability-0"><span class="std std-ref">verify_commands_availability/0</span></a></div>
</div>
</div>
<nav class="contents local" id="contents">
<ul class="simple">
<li><p><a class="reference internal" href="#public-predicates" id="id1">Public predicates</a></p>
<ul>
<li><p><a class="reference internal" href="#list-0" id="id2"><code class="docutils literal notranslate"><span class="pre">list/0</span></code></a></p></li>
<li><p><a class="reference internal" href="#describe-1" id="id3"><code class="docutils literal notranslate"><span class="pre">describe/1</span></code></a></p></li>
<li><p><a class="reference internal" href="#defined-4" id="id4"><code class="docutils literal notranslate"><span class="pre">defined/4</span></code></a></p></li>
<li><p><a class="reference internal" href="#add-3" id="id5"><code class="docutils literal notranslate"><span class="pre">add/3</span></code></a></p></li>
<li><p><a class="reference internal" href="#add-2" id="id6"><code class="docutils literal notranslate"><span class="pre">add/2</span></code></a></p></li>
<li><p><a class="reference internal" href="#add-1" id="id7"><code class="docutils literal notranslate"><span class="pre">add/1</span></code></a></p></li>
<li><p><a class="reference internal" href="#update-2" id="id8"><code class="docutils literal notranslate"><span class="pre">update/2</span></code></a></p></li>
<li><p><a class="reference internal" href="#update-1" id="id9"><code class="docutils literal notranslate"><span class="pre">update/1</span></code></a></p></li>
<li><p><a class="reference internal" href="#update-0" id="id10"><code class="docutils literal notranslate"><span class="pre">update/0</span></code></a></p></li>
<li><p><a class="reference internal" href="#delete-2" id="id11"><code class="docutils literal notranslate"><span class="pre">delete/2</span></code></a></p></li>
<li><p><a class="reference internal" href="#delete-1" id="id12"><code class="docutils literal notranslate"><span class="pre">delete/1</span></code></a></p></li>
<li><p><a class="reference internal" href="#delete-0" id="id13"><code class="docutils literal notranslate"><span class="pre">delete/0</span></code></a></p></li>
<li><p><a class="reference internal" href="#clean-1" id="id14"><code class="docutils literal notranslate"><span class="pre">clean/1</span></code></a></p></li>
<li><p><a class="reference internal" href="#clean-0" id="id15"><code class="docutils literal notranslate"><span class="pre">clean/0</span></code></a></p></li>
<li><p><a class="reference internal" href="#provides-2" id="id16"><code class="docutils literal notranslate"><span class="pre">provides/2</span></code></a></p></li>
<li><p><a class="reference internal" href="#lint-1" id="id17"><code class="docutils literal notranslate"><span class="pre">lint/1</span></code></a></p></li>
<li><p><a class="reference internal" href="#lint-0" id="id18"><code class="docutils literal notranslate"><span class="pre">lint/0</span></code></a></p></li>
</ul>
</li>
<li><p><a class="reference internal" href="#protected-predicates" id="id19">Protected predicates</a></p></li>
<li><p><a class="reference internal" href="#private-predicates" id="id20">Private predicates</a></p></li>
<li><p><a class="reference internal" href="#operators" id="id21">Operators</a></p></li>
</ul>
</nav>
<section id="public-predicates">
<h2><a class="toc-backref" href="#contents" role="doc-backlink">Public predicates</a><a class="headerlink" href="#public-predicates" title="Link to this heading"></a></h2>
<section id="list-0">
<span id="registries-0-list-0"></span><span id="index-1"></span><h3><a class="toc-backref" href="#contents" role="doc-backlink"><code class="docutils literal notranslate"><span class="pre">list/0</span></code></a><a class="headerlink" href="#list-0" title="Link to this heading"></a></h3>
<p>Prints a list of all defined registries, including how defined (<code class="docutils literal notranslate"><span class="pre">git</span></code>, <code class="docutils literal notranslate"><span class="pre">archive</span></code>, or <code class="docutils literal notranslate"><span class="pre">directory</span></code>) and  if they are pinned.</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">list</span></code> - <code class="docutils literal notranslate"><span class="pre">one</span></code></div>
</div>
</div>
<hr class="docutils" />
</section>
<section id="describe-1">
<span id="registries-0-describe-1"></span><span id="index-2"></span><h3><a class="toc-backref" href="#contents" role="doc-backlink"><code class="docutils literal notranslate"><span class="pre">describe/1</span></code></a><a class="headerlink" href="#describe-1" title="Link to this heading"></a></h3>
<p>Prints all registry entries.</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Template:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">describe(Registry)</span></code></div>
</div>
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">describe(+atom)</span></code> - <code class="docutils literal notranslate"><span class="pre">one</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Exceptions:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is neither a variable nor an atom:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(atom,Registry)</span></code></div>
</div>
</div>
</div>
<hr class="docutils" />
</section>
<section id="defined-4">
<span id="registries-0-defined-4"></span><span id="index-3"></span><h3><a class="toc-backref" href="#contents" role="doc-backlink"><code class="docutils literal notranslate"><span class="pre">defined/4</span></code></a><a class="headerlink" href="#defined-4" title="Link to this heading"></a></h3>
<p>Enumerates by backtracking all defined registries, their definition URL, how they are defined (<code class="docutils literal notranslate"><span class="pre">git</span></code>, <code class="docutils literal notranslate"><span class="pre">archive</span></code>, or <code class="docutils literal notranslate"><span class="pre">directory</span></code>), and if they are pinned.</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Template:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">defined(Registry,URL,HowDefined,Pinned)</span></code></div>
</div>
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">defined(?atom,?atom,?atom,?boolean)</span></code> - <code class="docutils literal notranslate"><span class="pre">zero_or_more</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Exceptions:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is neither a variable nor an atom:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(atom,Registry)</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">URL</span></code> is neither a variable nor an atom:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(atom,URL)</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">HowDefined</span></code> is neither a variable nor an atom:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(atom,HowDefined)</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">Pinned</span></code> is neither a variable nor a boolean:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(boolean,Pinned)</span></code></div>
</div>
</div>
</div>
<hr class="docutils" />
</section>
<section id="add-3">
<span id="registries-0-add-3"></span><span id="index-4"></span><h3><a class="toc-backref" href="#contents" role="doc-backlink"><code class="docutils literal notranslate"><span class="pre">add/3</span></code></a><a class="headerlink" href="#add-3" title="Link to this heading"></a></h3>
<p>Adds a new registry using the given options. Fails if the registry cannot be added or if it is already defined but not using <code class="docutils literal notranslate"><span class="pre">update(true)</span></code> or <code class="docutils literal notranslate"><span class="pre">force(true)</span></code> options. A <code class="docutils literal notranslate"><span class="pre">file://</span></code> URL can be used for a local directory or archive.</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Template:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">add(Registry,URL,Options)</span></code></div>
</div>
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">add(+atom,+atom,++list(compound))</span></code> - <code class="docutils literal notranslate"><span class="pre">zero_or_one</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Exceptions:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is neither a variable nor an atom:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(atom,Registry)</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">URL</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">URL</span></code> is neither a variable nor an atom:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(atom,URL)</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">Options</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">Options</span></code> is neither a variable nor a list:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(list,Options)</span></code></div>
</div>
<div class="line">An element <code class="docutils literal notranslate"><span class="pre">Option</span></code> of the list <code class="docutils literal notranslate"><span class="pre">Options</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line">An element <code class="docutils literal notranslate"><span class="pre">Option</span></code> of the list <code class="docutils literal notranslate"><span class="pre">Options</span></code> is neither a variable nor a compound term:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(compound,Option)</span></code></div>
</div>
<div class="line">An element <code class="docutils literal notranslate"><span class="pre">Option</span></code> of the list <code class="docutils literal notranslate"><span class="pre">Options</span></code> is a compound term but not a valid option:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">domain_error(option,Option)</span></code></div>
</div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Remarks:</strong></div>
</div>
<blockquote>
<div><ul class="simple">
<li><p>Registry name: Must be the URL basename when using a git URL or a local directory URL. Must also be the declared registry name in the registry specification object.</p></li>
<li><p>HTTPS URLs: Must end with either a <code class="docutils literal notranslate"><span class="pre">.git</span></code> extension or an archive extension.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">update(Boolean)</span></code> option: Update registry if already defined. Default is <code class="docutils literal notranslate"><span class="pre">false</span></code>. Overrides the <code class="docutils literal notranslate"><span class="pre">force/1</span></code> option.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">force(Boolean)</span></code> option: Force registry re-installation if already defined by first deleting the previous installation. Default is <code class="docutils literal notranslate"><span class="pre">false</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">clean(Boolean)</span></code> option: Clean registry archive after updating. Default is <code class="docutils literal notranslate"><span class="pre">false</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">verbose(Boolean)</span></code> option: Verbose adding steps. Default is <code class="docutils literal notranslate"><span class="pre">false</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">downloader(Atom)</span></code> option: Downloader utility. Either <code class="docutils literal notranslate"><span class="pre">curl</span></code> or <code class="docutils literal notranslate"><span class="pre">wget</span></code>. Default is <code class="docutils literal notranslate"><span class="pre">curl</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">curl(Atom)</span></code> option: Extra command-line options. Default is <code class="docutils literal notranslate"><span class="pre">''</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">wget(Atom)</span></code> option: Extra command-line options. Default is <code class="docutils literal notranslate"><span class="pre">''</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">gpg(Atom)</span></code> option: Extra command-line options. Default is <code class="docutils literal notranslate"><span class="pre">''</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">tar(Atom)</span></code> option: Extra command-line options. Default is <code class="docutils literal notranslate"><span class="pre">''</span></code>.</p></li>
</ul>
</div></blockquote>
<hr class="docutils" />
</section>
<section id="add-2">
<span id="registries-0-add-2"></span><span id="index-5"></span><h3><a class="toc-backref" href="#contents" role="doc-backlink"><code class="docutils literal notranslate"><span class="pre">add/2</span></code></a><a class="headerlink" href="#add-2" title="Link to this heading"></a></h3>
<p>Adds a new registry using default options. Fails if the registry cannot be added or if it is already defined. HTTPS URLs must end with either a <code class="docutils literal notranslate"><span class="pre">.git</span></code> extension or an archive extension. A <code class="docutils literal notranslate"><span class="pre">file://</span></code> URL can be used for a local directory or archive.</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Template:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">add(Registry,URL)</span></code></div>
</div>
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">add(+atom,+atom)</span></code> - <code class="docutils literal notranslate"><span class="pre">zero_or_one</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Exceptions:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is neither a variable nor an atom:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(atom,Registry)</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">URL</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">URL</span></code> is neither a variable nor an atom:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(atom,URL)</span></code></div>
</div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Remarks:</strong></div>
</div>
<blockquote>
<div><ul class="simple">
<li><p>Registry name: Must be the URL basename when using a git URL or a local directory URL. Must also be the declared registry name in the registry specification object.</p></li>
</ul>
</div></blockquote>
<hr class="docutils" />
</section>
<section id="add-1">
<span id="registries-0-add-1"></span><span id="index-6"></span><h3><a class="toc-backref" href="#contents" role="doc-backlink"><code class="docutils literal notranslate"><span class="pre">add/1</span></code></a><a class="headerlink" href="#add-1" title="Link to this heading"></a></h3>
<p>Adds a new registry using default options. Fails if the registry cannot be added or if it is already defined. HTTPS URLs must end with a <code class="docutils literal notranslate"><span class="pre">.git</span></code> extension or an archive extension. A <code class="docutils literal notranslate"><span class="pre">file://</span></code> URL can be used for a local directory or archive.</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Template:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">add(URL)</span></code></div>
</div>
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">add(+atom)</span></code> - <code class="docutils literal notranslate"><span class="pre">zero_or_one</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Exceptions:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">URL</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">URL</span></code> is neither a variable nor an atom:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(atom,URL)</span></code></div>
</div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Remarks:</strong></div>
</div>
<blockquote>
<div><ul class="simple">
<li><p>Registry name: Taken from the URL basename.</p></li>
</ul>
</div></blockquote>
<hr class="docutils" />
</section>
<section id="update-2">
<span id="registries-0-update-2"></span><span id="index-7"></span><h3><a class="toc-backref" href="#contents" role="doc-backlink"><code class="docutils literal notranslate"><span class="pre">update/2</span></code></a><a class="headerlink" href="#update-2" title="Link to this heading"></a></h3>
<p>Updates a defined registry using the specified options. Fails if the registry is not defined.</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Template:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">update(Registry,Options)</span></code></div>
</div>
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">update(+atom,++list(compound))</span></code> - <code class="docutils literal notranslate"><span class="pre">zero_or_one</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Exceptions:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is neither a variable nor an atom:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(atom,Registry)</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">Options</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">Options</span></code> is neither a variable nor a list:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(list,Options)</span></code></div>
</div>
<div class="line">An element <code class="docutils literal notranslate"><span class="pre">Option</span></code> of the list <code class="docutils literal notranslate"><span class="pre">Options</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line">An element <code class="docutils literal notranslate"><span class="pre">Option</span></code> of the list <code class="docutils literal notranslate"><span class="pre">Options</span></code> is neither a variable nor a compound term:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(compound,Option)</span></code></div>
</div>
<div class="line">An element <code class="docutils literal notranslate"><span class="pre">Option</span></code> of the list <code class="docutils literal notranslate"><span class="pre">Options</span></code> is a compound term but not a valid option:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">domain_error(option,Option)</span></code></div>
</div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Remarks:</strong></div>
</div>
<blockquote>
<div><ul class="simple">
<li><p><code class="docutils literal notranslate"><span class="pre">force(Boolean)</span></code> option: Force update if the registry is pinned. Default is <code class="docutils literal notranslate"><span class="pre">false</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">clean(Boolean)</span></code> option: Clean registry archive after updating. Default is <code class="docutils literal notranslate"><span class="pre">false</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">verbose(Boolean)</span></code> option: Verbose updating steps. Default is <code class="docutils literal notranslate"><span class="pre">false</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">downloader(Atom)</span></code> option: Downloader utility. Either <code class="docutils literal notranslate"><span class="pre">curl</span></code> or <code class="docutils literal notranslate"><span class="pre">wget</span></code>. Default is <code class="docutils literal notranslate"><span class="pre">curl</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">curl(Atom)</span></code> option: Extra command-line options. Default is <code class="docutils literal notranslate"><span class="pre">''</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">wget(Atom)</span></code> option: Extra command-line options. Default is <code class="docutils literal notranslate"><span class="pre">''</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">gpg(Atom)</span></code> option: Extra command-line options. Default is <code class="docutils literal notranslate"><span class="pre">''</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">tar(Atom)</span></code> option: Extra command-line options. Default is <code class="docutils literal notranslate"><span class="pre">''</span></code>.</p></li>
</ul>
</div></blockquote>
<hr class="docutils" />
</section>
<section id="update-1">
<span id="registries-0-update-1"></span><span id="index-8"></span><h3><a class="toc-backref" href="#contents" role="doc-backlink"><code class="docutils literal notranslate"><span class="pre">update/1</span></code></a><a class="headerlink" href="#update-1" title="Link to this heading"></a></h3>
<p>Updates a defined registry using default options. Fails if the registry is not defined.</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Template:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">update(Registry)</span></code></div>
</div>
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">update(+atom)</span></code> - <code class="docutils literal notranslate"><span class="pre">zero_or_one</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Exceptions:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is neither a variable nor an atom:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(atom,Registry)</span></code></div>
</div>
</div>
</div>
<hr class="docutils" />
</section>
<section id="update-0">
<span id="registries-0-update-0"></span><span id="index-9"></span><h3><a class="toc-backref" href="#contents" role="doc-backlink"><code class="docutils literal notranslate"><span class="pre">update/0</span></code></a><a class="headerlink" href="#update-0" title="Link to this heading"></a></h3>
<p>Updates all defined registries using default options.</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">update</span></code> - <code class="docutils literal notranslate"><span class="pre">zero_or_one</span></code></div>
</div>
</div>
<hr class="docutils" />
</section>
<section id="delete-2">
<span id="registries-0-delete-2"></span><span id="index-10"></span><h3><a class="toc-backref" href="#contents" role="doc-backlink"><code class="docutils literal notranslate"><span class="pre">delete/2</span></code></a><a class="headerlink" href="#delete-2" title="Link to this heading"></a></h3>
<p>Deletes a registry using the specified options (if not pinned).</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Template:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">delete(Registry,Options)</span></code></div>
</div>
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">delete(+atom,++list(compound))</span></code> - <code class="docutils literal notranslate"><span class="pre">zero_or_one</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Exceptions:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is neither a variable nor an atom:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(atom,Registry)</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">Options</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">Options</span></code> is neither a variable nor a list:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(list,Options)</span></code></div>
</div>
<div class="line">An element <code class="docutils literal notranslate"><span class="pre">Option</span></code> of the list <code class="docutils literal notranslate"><span class="pre">Options</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line">An element <code class="docutils literal notranslate"><span class="pre">Option</span></code> of the list <code class="docutils literal notranslate"><span class="pre">Options</span></code> is neither a variable nor a compound term:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(compound,Option)</span></code></div>
</div>
<div class="line">An element <code class="docutils literal notranslate"><span class="pre">Option</span></code> of the list <code class="docutils literal notranslate"><span class="pre">Options</span></code> is a compound term but not a valid option:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">domain_error(option,Option)</span></code></div>
</div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Remarks:</strong></div>
</div>
<blockquote>
<div><ul class="simple">
<li><p><code class="docutils literal notranslate"><span class="pre">force(Boolean)</span></code> option: Force deletion if the registry is pinned or there are installed registry packs. Default is <code class="docutils literal notranslate"><span class="pre">false</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">clean(Boolean)</span></code> option: Clean registry archive after deleting. Default is <code class="docutils literal notranslate"><span class="pre">false</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">verbose(Boolean)</span></code> option: Verbose deleting steps. Default is <code class="docutils literal notranslate"><span class="pre">false</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">downloader(Atom)</span></code> option: Downloader utility. Either <code class="docutils literal notranslate"><span class="pre">curl</span></code> or <code class="docutils literal notranslate"><span class="pre">wget</span></code>. Default is <code class="docutils literal notranslate"><span class="pre">curl</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">curl(Atom)</span></code> option: Extra command-line options. Default is <code class="docutils literal notranslate"><span class="pre">''</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">wget(Atom)</span></code> option: Extra command-line options. Default is <code class="docutils literal notranslate"><span class="pre">''</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">gpg(Atom)</span></code> option: Extra command-line options. Default is <code class="docutils literal notranslate"><span class="pre">''</span></code>.</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">tar(Atom)</span></code> option: Extra command-line options. Default is <code class="docutils literal notranslate"><span class="pre">''</span></code>.</p></li>
</ul>
</div></blockquote>
<hr class="docutils" />
</section>
<section id="delete-1">
<span id="registries-0-delete-1"></span><span id="index-11"></span><h3><a class="toc-backref" href="#contents" role="doc-backlink"><code class="docutils literal notranslate"><span class="pre">delete/1</span></code></a><a class="headerlink" href="#delete-1" title="Link to this heading"></a></h3>
<p>Deletes a registry using default options.</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Template:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">delete(Registry)</span></code></div>
</div>
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">delete(+atom)</span></code> - <code class="docutils literal notranslate"><span class="pre">zero_or_one</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Exceptions:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is neither a variable nor an atom:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(atom,Registry)</span></code></div>
</div>
</div>
</div>
<hr class="docutils" />
</section>
<section id="delete-0">
<span id="registries-0-delete-0"></span><span id="index-12"></span><h3><a class="toc-backref" href="#contents" role="doc-backlink"><code class="docutils literal notranslate"><span class="pre">delete/0</span></code></a><a class="headerlink" href="#delete-0" title="Link to this heading"></a></h3>
<p>Deletes all registries using the <code class="docutils literal notranslate"><span class="pre">force(true)</span></code> option.</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">delete</span></code> - <code class="docutils literal notranslate"><span class="pre">zero_or_one</span></code></div>
</div>
</div>
<hr class="docutils" />
</section>
<section id="clean-1">
<span id="registries-0-clean-1"></span><span id="index-13"></span><h3><a class="toc-backref" href="#contents" role="doc-backlink"><code class="docutils literal notranslate"><span class="pre">clean/1</span></code></a><a class="headerlink" href="#clean-1" title="Link to this heading"></a></h3>
<p>Cleans all registry archives. Fails if the registry is not defined.</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Template:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">clean(Registry)</span></code></div>
</div>
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">clean(+atom)</span></code> - <code class="docutils literal notranslate"><span class="pre">zero_or_one</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Exceptions:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is neither a variable nor an atom:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(atom,Registry)</span></code></div>
</div>
</div>
</div>
<hr class="docutils" />
</section>
<section id="clean-0">
<span id="registries-0-clean-0"></span><span id="index-14"></span><h3><a class="toc-backref" href="#contents" role="doc-backlink"><code class="docutils literal notranslate"><span class="pre">clean/0</span></code></a><a class="headerlink" href="#clean-0" title="Link to this heading"></a></h3>
<p>Cleans all archives for all registries.</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">clean</span></code> - <code class="docutils literal notranslate"><span class="pre">one</span></code></div>
</div>
</div>
<hr class="docutils" />
</section>
<section id="provides-2">
<span id="registries-0-provides-2"></span><span id="index-15"></span><h3><a class="toc-backref" href="#contents" role="doc-backlink"><code class="docutils literal notranslate"><span class="pre">provides/2</span></code></a><a class="headerlink" href="#provides-2" title="Link to this heading"></a></h3>
<p>Enumerates by backtracking all packs provided by a registry.</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Template:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">provides(Registry,Pack)</span></code></div>
</div>
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">provides(?atom,?atom)</span></code> - <code class="docutils literal notranslate"><span class="pre">zero_or_more</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Exceptions:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is neither a variable nor an atom:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(atom,Registry)</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">Pack</span></code> is neither a variable nor an atom:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(atom,Pack)</span></code></div>
</div>
</div>
</div>
<hr class="docutils" />
</section>
<section id="lint-1">
<span id="registries-0-lint-1"></span><span id="index-16"></span><h3><a class="toc-backref" href="#contents" role="doc-backlink"><code class="docutils literal notranslate"><span class="pre">lint/1</span></code></a><a class="headerlink" href="#lint-1" title="Link to this heading"></a></h3>
<p>Checks the registry specification. Fails if the registry is not defined or if linting detects errors.</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Template:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">lint(Registry)</span></code></div>
</div>
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">lint(+atom)</span></code> - <code class="docutils literal notranslate"><span class="pre">zero_or_one</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Exceptions:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is a variable:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">instantiation_error</span></code></div>
</div>
<div class="line"><code class="docutils literal notranslate"><span class="pre">Registry</span></code> is neither a variable nor an atom:</div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">type_error(atom,Registry)</span></code></div>
</div>
</div>
</div>
<hr class="docutils" />
</section>
<section id="lint-0">
<span id="registries-0-lint-0"></span><span id="index-17"></span><h3><a class="toc-backref" href="#contents" role="doc-backlink"><code class="docutils literal notranslate"><span class="pre">lint/0</span></code></a><a class="headerlink" href="#lint-0" title="Link to this heading"></a></h3>
<p>Checks all registry specifications.</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">static</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">lint</span></code> - <code class="docutils literal notranslate"><span class="pre">one</span></code></div>
</div>
</div>
</section>
</section>
<hr class="docutils" />
<section id="protected-predicates">
<h2><a class="toc-backref" href="#contents" role="doc-backlink">Protected predicates</a><a class="headerlink" href="#protected-predicates" title="Link to this heading"></a></h2>
<p>(no local declarations; see entity ancestors if any)</p>
</section>
<section id="private-predicates">
<h2><a class="toc-backref" href="#contents" role="doc-backlink">Private predicates</a><a class="headerlink" href="#private-predicates" title="Link to this heading"></a></h2>
<p>(no local declarations; see entity ancestors if any)</p>
</section>
<section id="operators">
<h2><a class="toc-backref" href="#contents" role="doc-backlink">Operators</a><a class="headerlink" href="#operators" title="Link to this heading"></a></h2>
<p>(none)</p>
</section>
</section>


           </div>
          </div>
          <footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
        <a href="packs_specs_hook_0.html" class="btn btn-neutral float-left" title="packs_specs_hook" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
        <a href="registry_loader_hook_0.html" class="btn btn-neutral float-right" title="registry_loader_hook" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
    </div>

  <hr/>

  <div role="contentinfo">
    <p>&#169; Copyright 1998-2025, Paulo Moura.</p>
  </div>

  Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
    <a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
    provided by <a href="https://readthedocs.org">Read the Docs</a>.
   

</footer>
        </div>
      </div>
    </section>
  </div>
  <script>
      jQuery(function () {
          SphinxRtdTheme.Navigation.enable(true);
      });
  </script> 

</body>
</html>